https://ogma.newcastle.edu.au/vital/access/ /manager/Index en-au 5 Verification and validation and complex environments: a study in service sector https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:10894 Wed 11 Apr 2018 15:51:34 AEST ]]> Formal specification at model-level of model-driven engineering using modelling techniques https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:48430 Thu 16 Mar 2023 14:17:46 AEDT ]]> Verification of interactive automated air traffic control system in a model driven approach https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:30023 Sat 24 Mar 2018 07:24:21 AEDT ]]> Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:34364 Mon 23 Sep 2019 12:18:57 AEST ]]>